Linearization of hybrid processes
نویسندگان
چکیده
منابع مشابه
Linearization of hybrid processes
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the algebraic analysis of hybrid systems, i.e., systems with continuous (physical) as well as discrete (computational) components. Linearization is a useful first step in this analysis, because it reduces the complexity of...
متن کاملAdaptive Input-Output Linearization Control of pH Processes
pH control is a challenging problem due to its highly nonlinear nature. In this paper the performances of two different adaptive global linearizing controllers (GLC) are compared. Least squares technique has been used for identifying the titration curve. The first controller is a standard GLC based on material balances of each species. For implementation of this controller a nonlinear state...
متن کاملadaptive input-output linearization control of ph processes
ph control is a challenging problem due to its highly nonlinear nature. in this paper the performances of two different adaptive global linearizing controllers (glc) are compared. least squares technique has been used for identifying the titration curve. the first controller is a standard glc based on material balances of each species. for implementation of this controller a nonlinear state est...
متن کاملA Structural Linearization Principle for Processes
In 11], an induction principle for processes was given which allows one to apply model-checking techniques to parameterized families of processes. A limitation of the induction principle is that it does not apply to the case in which one process depends directly upon a parameterized number of processes, which grows without bound. This would seem to preclude its application to families of N proc...
متن کاملECG De-noising using Hybrid Linearization Method
Electrocardiogram (ECG) is a non-invasive tool that monitors the electrical activity of the heart. An ECG signal is highly prone to the disturbances such as noise contamination, artifacts and other signals interference. So, an ECG signal has to be de-noised so that the distortions can be eliminated from the original signal for the perfect diagnosing of the condition and performance of the heart...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2006
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2005.10.003